1101. Formal methods and software engineering :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
9
.
F67

1102. Formal methods for components and objects

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses

رده :
QA
,
76
.
9
,.
F67
,
F53
,
2005

1103. Formal methods for components and objects

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object

1104. Formal methods for components and objects :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses

رده :
QA76
.
9
.
F67
F53
2002

1105. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3188

1106. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
2852

1107. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3657

1108. Formal methods for distributed processing

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Electronic data processing -- Distributed processing,Object-oriented programming (Computer science)

رده :
QA
76
.
9
.
D5F662
2001

1109. Formal methods for open object-based distributed systems

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses

رده :
QA
,
76
.
9
,.
D5
,
I573
,
2003

1110. Formal methods for open object-based distributed systems

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses

رده :
QA
,
76
.
9
,.
D5
,
I573
,
2007

1111. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3535

1112. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(

رده :
QA
76
.
L28
Vol
.
2884

1113. Formal object-oriented specification using object-Z

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(

رده :
QA
76
.
73
.
Z2
.
D85
2000

1114. Formal object-oriented specification using object-Z

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Object-oriented programming )Computer science(,، Z )Computer program language(

رده :
QA
76
.
73
.
Z2
D85
2000

1115. Formal specification and design

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Computer software -- Development,Object-oriented programming (Computer science)

رده :
QA
76
.
76
.
D47F44
2005

1116. Formal techniques for distributed systems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented programming (Computer science) ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Rechnernetz ; Softwarespezifikation ; Formale Spezifikationstechnik ; Kong-Electronic data processing ; Distributed processing ; Congresses. ; Object

1117. Formalization of Programming Concepts:

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer science.,Software engineering.

رده :
QA76
.
6
J353
1981

1118. Fortran 2018 with parallel programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)

رده :
QA76
.
73
.
F25
R39
2020eb

1119. Foundations of AOP for J2EE development

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development,Java (Computer program language),Object-oriented programming (Computer science)

1120. Foundations of AOP for J2EE development

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Object-oriented programming (Computer science),Java (Computer program language),Computer software- Development

رده :
QA76
.
64
.
P387
2005